1. Classical mathematical logic : the semantic foundations of logic
پدیدآورنده : Epstein, Richard L., 7491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
رده :
QA
9
.
E67C56
2. From signs to propositions: The concept of form in eighteenth-century semantic theory
پدیدآورنده : Land, Stephen K.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : ، Semantics,Philosophy ، Language and languages,81th century - History ، Linguistics,، Logic, Symbolic and mathematical.,81th century ، Philosophy, Modern
رده :
P
325
.
L3F7
3. Logic, semantics, metamathematics
پدیدآورنده : Tarski, Alfred
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
رده :
BC
135
.
T35
4. Logic, semantics, metamathematics :papers from 1923 to 1938
پدیدآورنده : Tarski, Alfred.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
رده :
BC135
.
T35
1983
5. Logic, semantics, metamathematics: papers from 1923 to 1938
پدیدآورنده : Tarski, Alfred.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,Semantics )Philosophy(
رده :
BC
135
.
T35
6. Meaning and Necessity
پدیدآورنده : / by Rudolf Carnap
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Semantics (Philosophy),Logic, Symbolic and mathematical,معنی شناسی (فلسفه),منطق ریاضی
رده :
B840
.
C3
1956
7. Meaning and necessity; a study in semantics and modal logic
پدیدآورنده : Carnap, Rudolf
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Semantics )Philosophy(,، Logic, Symbolic and mathematical
رده :
B
840
.
C3
1956
8. Meaning and necessity; a study in semantics and modal logic
پدیدآورنده : Carnap, Rudolf, 1981-0791.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Semantics )Philosophy(,، Logic, Symbolic and mathematical
رده :
B
840
.
C27M4
1956
9. Meaning and necessity;a study in semantics and modal logic
پدیدآورنده : Carnap, Rudolf, 1981-0791
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : ، Semantics )Philosophy(,، Logic, Symbolic and mathematical.
رده :
B
840
.
C3
1958
10. Objects and modalities : a study in the semantics of modal logic
پدیدآورنده : Tulenheimo, Tero
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Logic, Symbolic and mathematical
رده :
BC
199
.
M6T85
11. Ontology and the Iogisfc analysis of language; an enquiry into the contemporary views on Universals. Rev ed
پدیدآورنده : Kung, Guido
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Semantics )Philosophy(,، Analysis )Philosophy(,، Logic, Symbolic and mathematical
رده :
B
840
.
K813
12. Ontology and the logistic analysis of language. An enquiry into the contemporary views on universals
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Semantics )Philosophy(,، Analysis )Philosophy(,، Logic, Symbolic and mathematical
رده :
B
840
.
K813
13. Philosophical remarks
پدیدآورنده : Wittgenstein, Ludwig, 9881-1591
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (تهران)
موضوع : ، Semantics )Philosophy(,، Logic, Symbolic and mathematical,Philosophy ، Mathematics
رده :
B3376
.
W563
P413
1964
14. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
پدیدآورنده : Mostowski, Andrzej.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
رده :
QA
9
.
65
.
M68
15. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
پدیدآورنده : Mostowski, Andrzej
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
رده :
BC
135
.
M6
16. Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Godel
پدیدآورنده :
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Logic, Symbolic and mathematical,Semantics (Philosophy),Godel, Kurt
رده :
BC
135
.
M6
17. Tractatus logico- philosophicus
پدیدآورنده : by Ludwig Wittgenstein; with an introduction by Bertrand Russell
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Logic, Symbolic and mathematical,Language and language philosophy,Philosophy,Semantics (philosophy)
رده :
B
,
3376
,.
W563T73
,
1996
18. Tractatus logico - philosophicus: suivi de Investigations philosophiques
پدیدآورنده : Wittgenstein, Ludwig, 9881-1591
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (تهران)
موضوع : ، Logic, Symbolic and mathematical,Philosophy ، Language and languages,، Philosophy,، Semantics )Philosophy(
رده :
BC135
.
W5
19. Word and Object
پدیدآورنده : / Willard Van Orman Quine
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Semantics (Philosophy),Logic, Symbolic and mathematical,Language and languages - Philosophy,معنی شناسی (فلسفه),منطق ریاضی,زبان - فلسفه
رده :
B840
.
Q5
1969
20. Word and object
پدیدآورنده : / Willard Van Orman Quine
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Semantics (Philosophy),Logic - Symbolic and mathematical,Language and languages - Philosophy
رده :
B840
.
Q5